$\forall$$A$:Realizer, ${\it ns}$, ${\it ms}$:(MaName List). ${\it ns}$ $\subseteq$ ${\it ms}$ $\Rightarrow$ $A$$\mid$${\it ns}$ $\subseteq$ $A$$\mid$${\it ms}$